concurrent logic造句

例句与造句

1. Such strategies are used, for example, in concurrent logic programming.
2. It is a concurrent logic programming as the software foundation for the project.
3. His 1981 paper on a relational language for parallel programming introduced concurrent logic programming.
4. The aim was to build parallel computers for artificial intelligence applications using concurrent logic programming.
5. Prolog gave rise to the programming languages concurrent logic programming languages, constraint logic programming languages and datalog.
6. It's difficult to find concurrent logic in a sentence. 用concurrent logic造句挺难的
7. Concurrent constraint logic programming combines concurrent logic programming and constraint logic programming, using constraints to control concurrency.
8. The FGCS project and its vast findings contributed greatly to the development of the concurrent logic programming field.
9. The dataflow variables of Oz act as concurrent logic variables, and also have blocking semantics as mentioned above.
10. An extension to the syntax and semantics of concurrent logic programming is the " atomic tell ".
11. Carl Hewitt has argued that, concurrent logic programming is not based on logic in his sense that computational steps cannot be logically deduced.
12. Thus concurrent logic programming implements a form of " don't care nondeterminism ", rather than " don't know nondeterminism ".
13. The development of concurrent logic programming was given an impetus when GHC was used to implement KL1, the systems programming language of the Japanese Fifth Generation Project ( FGCS ).
14. A third effect of the difference between concurrent and non-concurrent logic programming is in the way a goal is equated to the head of a fresh variant of a clause.
15. A primary problem was the choice of concurrent logic programming as the bridge between the parallel computer architecture and the use of logic as a knowledge representation and problem solving language for AI applications.
16. A " concurrent logic variable " is similar to a future, but is updated by unification, in the same way as " logic variables " in logic programming.
更多例句：  下一页